- LNCS859
- -T. F. Melham/J. Camilleri (Eds.): Higher Order Logic Theorem Proving and Its Applications. Proceedings 1994, Springer-Verlag 1994
Acronyms von A bis Z. 2013.
LNCS859
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS859 — T. F. Melham/J. Camilleri (Eds.): Higher Order Logic Theorem Proving and Its Applications. Proceedings 1994, Springer Verlag 1994 … Acronyms
